<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
<!-- NewPage -->
<html lang="en">
<head>
<title>Dump</title>
<link rel="stylesheet" type="text/css" href="../../stylesheet.css" title="Style">
</head>
<body>
<script type="text/javascript"><!--
    if (location.href.indexOf('is-external=true') == -1) {
        parent.document.title="Dump";
    }
//-->
</script>
<noscript>
<div>JavaScript is disabled on your browser.</div>
</noscript>
<!-- ========= START OF TOP NAVBAR ======= -->
<div class="topNav"><a name="navbar_top">
<!--   -->
</a><a href="#skip-navbar_top" title="Skip navigation links"></a><a name="navbar_top_firstrow">
<!--   -->
</a>
<ul class="navList" title="Navigation">
<li><a href="../../overview-summary.html">Overview</a></li>
<li><a href="package-summary.html">Package</a></li>
<li class="navBarCell1Rev">Class</li>
<li><a href="package-tree.html">Tree</a></li>
<li><a href="../../deprecated-list.html">Deprecated</a></li>
<li><a href="../../index-all.html">Index</a></li>
<li><a href="../../help-doc.html">Help</a></li>
</ul>
</div>
<div class="subNav">
<ul class="navList">
<li><a href="../../mmj/util/DelimitedTextParser.html" title="class in mmj.util"><span class="strong">Prev Class</span></a></li>
<li><a href="../../mmj/util/GMFFBoss.html" title="class in mmj.util"><span class="strong">Next Class</span></a></li>
</ul>
<ul class="navList">
<li><a href="../../index.html?mmj/util/Dump.html" target="_top">Frames</a></li>
<li><a href="Dump.html" target="_top">No Frames</a></li>
</ul>
<ul class="navList" id="allclasses_navbar_top">
<li><a href="../../allclasses-noframe.html">All Classes</a></li>
</ul>
<div>
<script type="text/javascript"><!--
  allClassesLink = document.getElementById("allclasses_navbar_top");
  if(window==top) {
    allClassesLink.style.display = "block";
  }
  else {
    allClassesLink.style.display = "none";
  }
  //-->
</script>
</div>
<div>
<ul class="subNavList">
<li>Summary:&nbsp;</li>
<li>Nested&nbsp;|&nbsp;</li>
<li><a href="#field_summary">Field</a>&nbsp;|&nbsp;</li>
<li><a href="#constructor_summary">Constr</a>&nbsp;|&nbsp;</li>
<li><a href="#method_summary">Method</a></li>
</ul>
<ul class="subNavList">
<li>Detail:&nbsp;</li>
<li><a href="#field_detail">Field</a>&nbsp;|&nbsp;</li>
<li><a href="#constructor_detail">Constr</a>&nbsp;|&nbsp;</li>
<li><a href="#method_detail">Method</a></li>
</ul>
</div>
<a name="skip-navbar_top">
<!--   -->
</a></div>
<!-- ========= END OF TOP NAVBAR ========= -->
<!-- ======== START OF CLASS DATA ======== -->
<div class="header">
<div class="subTitle">mmj.util</div>
<h2 title="Class Dump" class="title">Class Dump</h2>
</div>
<div class="contentContainer">
<ul class="inheritance">
<li>java.lang.Object</li>
<li>
<ul class="inheritance">
<li>mmj.util.Dump</li>
</ul>
</li>
</ul>
<div class="description">
<ul class="blockList">
<li class="blockList">
<hr>
<br>
<pre>public class <span class="strong">Dump</span>
extends java.lang.Object</pre>
<div class="block">Dump started out as just testing code that could be "throwaway". Now a bit of
 it is used in mmj.Util.BatchMMJ2 to dump/print info from LogicalSystem and
 Grammar. The report is ugly but better than nothing. And it is key for doing
 parallel testing because almost every key data element is output to the
 printer.
 <p>
 Dump can employ a PrintWriter or send its stuff to System.out. The
 PrintWriter can be set at construction time or later via a "set" function.
 <p>
 Most of the Dump print routines are invoked by BatchMMJ2 but some are
 leftovers from testing. Dump is ugly but it works.</div>
</li>
</ul>
</div>
<div class="summary">
<ul class="blockList">
<li class="blockList">
<!-- =========== FIELD SUMMARY =========== -->
<ul class="blockList">
<li class="blockList"><a name="field_summary">
<!--   -->
</a>
<h3>Field Summary</h3>
<table class="overviewSummary" border="0" cellpadding="3" cellspacing="0" summary="Field Summary table, listing fields, and an explanation">
<caption><span>Fields</span><span class="tabEnd">&nbsp;</span></caption>
<tr>
<th class="colFirst" scope="col">Modifier and Type</th>
<th class="colLast" scope="col">Field and Description</th>
</tr>
<tr class="altColor">
<td class="colFirst"><code>static java.lang.String[]</code></td>
<td class="colLast"><code><strong><a href="../../mmj/util/Dump.html#indentTbl">indentTbl</a></strong></code>&nbsp;</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>java.lang.String[]</code></td>
<td class="colLast"><code><strong><a href="../../mmj/util/Dump.html#keyArray">keyArray</a></strong></code>&nbsp;</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>int</code></td>
<td class="colLast"><code><strong><a href="../../mmj/util/Dump.html#keyArrayCount">keyArrayCount</a></strong></code>&nbsp;</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>java.io.PrintWriter</code></td>
<td class="colLast"><code><strong><a href="../../mmj/util/Dump.html#sysOut">sysOut</a></strong></code>&nbsp;</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code><a href="../../mmj/tmff/TMFFPreferences.html" title="class in mmj.tmff">TMFFPreferences</a></code></td>
<td class="colLast"><code><strong><a href="../../mmj/util/Dump.html#tmffPreferences">tmffPreferences</a></strong></code>&nbsp;</td>
</tr>
</table>
</li>
</ul>
<!-- ======== CONSTRUCTOR SUMMARY ======== -->
<ul class="blockList">
<li class="blockList"><a name="constructor_summary">
<!--   -->
</a>
<h3>Constructor Summary</h3>
<table class="overviewSummary" border="0" cellpadding="3" cellspacing="0" summary="Constructor Summary table, listing constructors, and an explanation">
<caption><span>Constructors</span><span class="tabEnd">&nbsp;</span></caption>
<tr>
<th class="colOne" scope="col">Constructor and Description</th>
</tr>
<tr class="altColor">
<td class="colOne"><code><strong><a href="../../mmj/util/Dump.html#Dump()">Dump</a></strong>()</code>
<div class="block">Default constructor which will print to System.out.</div>
</td>
</tr>
<tr class="rowColor">
<td class="colOne"><code><strong><a href="../../mmj/util/Dump.html#Dump(java.io.PrintWriter)">Dump</a></strong>(java.io.PrintWriter&nbsp;sysOut)</code>
<div class="block">Construct Dump using a PrintWriter for output.</div>
</td>
</tr>
</table>
</li>
</ul>
<!-- ========== METHOD SUMMARY =========== -->
<ul class="blockList">
<li class="blockList"><a name="method_summary">
<!--   -->
</a>
<h3>Method Summary</h3>
<table class="overviewSummary" border="0" cellpadding="3" cellspacing="0" summary="Method Summary table, listing methods, and an explanation">
<caption><span>Methods</span><span class="tabEnd">&nbsp;</span></caption>
<tr>
<th class="colFirst" scope="col">Modifier and Type</th>
<th class="colLast" scope="col">Method and Description</th>
</tr>
<tr class="altColor">
<td class="colFirst"><code>void</code></td>
<td class="colLast"><code><strong><a href="../../mmj/util/Dump.html#dumpAssrtProperties(int, mmj.lang.Assrt)">dumpAssrtProperties</a></strong>(int&nbsp;indentNbr,
                   <a href="../../mmj/lang/Assrt.html" title="class in mmj.lang">Assrt</a>&nbsp;assrt)</code>&nbsp;</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>void</code></td>
<td class="colLast"><code><strong><a href="../../mmj/util/Dump.html#dumpGrammarRuleCollection(int, int, java.lang.String, java.util.Collection)">dumpGrammarRuleCollection</a></strong>(int&nbsp;maxDumpCnt,
                         int&nbsp;indentNbr,
                         java.lang.String&nbsp;caption,
                         java.util.Collection&lt;? extends <a href="../../mmj/verify/GrammarRule.html" title="class in mmj.verify">GrammarRule</a>&gt;&nbsp;grammarRuleCollection)</code>&nbsp;</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>void</code></td>
<td class="colLast"><code><strong><a href="../../mmj/util/Dump.html#dumpGrammarRuleCollection(int, java.lang.String, java.util.Collection)">dumpGrammarRuleCollection</a></strong>(int&nbsp;indentNbr,
                         java.lang.String&nbsp;caption,
                         java.util.Collection&lt;<a href="../../mmj/verify/GrammarRule.html" title="class in mmj.verify">GrammarRule</a>&gt;&nbsp;grammarRuleCollection)</code>&nbsp;</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>void</code></td>
<td class="colLast"><code><strong><a href="../../mmj/util/Dump.html#dumpGrammarRuleFull(int, mmj.verify.GrammarRule)">dumpGrammarRuleFull</a></strong>(int&nbsp;indentNbr,
                   <a href="../../mmj/verify/GrammarRule.html" title="class in mmj.verify">GrammarRule</a>&nbsp;grammarRule)</code>&nbsp;</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>void</code></td>
<td class="colLast"><code><strong><a href="../../mmj/util/Dump.html#dumpLogSys(int, java.lang.String, mmj.lang.LogicalSystem)">dumpLogSys</a></strong>(int&nbsp;indentNbr,
          java.lang.String&nbsp;caption,
          <a href="../../mmj/lang/LogicalSystem.html" title="class in mmj.lang">LogicalSystem</a>&nbsp;logSys)</code>&nbsp;</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>void</code></td>
<td class="colLast"><code><strong><a href="../../mmj/util/Dump.html#dumpLogSysCounts(int, java.lang.String, java.util.Collection, java.util.Collection)">dumpLogSysCounts</a></strong>(int&nbsp;indentNbr,
                java.lang.String&nbsp;caption,
                java.util.Collection&lt;<a href="../../mmj/lang/Sym.html" title="class in mmj.lang">Sym</a>&gt;&nbsp;symTbl,
                java.util.Collection&lt;<a href="../../mmj/lang/Stmt.html" title="class in mmj.lang">Stmt</a>&gt;&nbsp;stmtTbl)</code>&nbsp;</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>void</code></td>
<td class="colLast"><code><strong><a href="../../mmj/util/Dump.html#dumpLogSysCounts(int, java.lang.String, java.util.Map, java.util.Map)">dumpLogSysCounts</a></strong>(int&nbsp;indentNbr,
                java.lang.String&nbsp;caption,
                java.util.Map&lt;java.lang.String,<a href="../../mmj/lang/Sym.html" title="class in mmj.lang">Sym</a>&gt;&nbsp;symTbl,
                java.util.Map&lt;java.lang.String,<a href="../../mmj/lang/Stmt.html" title="class in mmj.lang">Stmt</a>&gt;&nbsp;stmtTbl)</code>&nbsp;</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>void</code></td>
<td class="colLast"><code><strong><a href="../../mmj/util/Dump.html#dumpNotationRuleProperties(int, mmj.verify.NotationRule)">dumpNotationRuleProperties</a></strong>(int&nbsp;indentNbr,
                          <a href="../../mmj/verify/NotationRule.html" title="class in mmj.verify">NotationRule</a>&nbsp;notationRule)</code>&nbsp;</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>void</code></td>
<td class="colLast"><code><strong><a href="../../mmj/util/Dump.html#dumpNullsPermittedRuleProperties(int, mmj.verify.NullsPermittedRule)">dumpNullsPermittedRuleProperties</a></strong>(int&nbsp;indentNbr,
                                <a href="../../mmj/verify/NullsPermittedRule.html" title="class in mmj.verify">NullsPermittedRule</a>&nbsp;nullsPermittedRule)</code>&nbsp;</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>void</code></td>
<td class="colLast"><code><strong><a href="../../mmj/util/Dump.html#dumpOneStmt(int, mmj.lang.Stmt)">dumpOneStmt</a></strong>(int&nbsp;indentNbr,
           <a href="../../mmj/lang/Stmt.html" title="class in mmj.lang">Stmt</a>&nbsp;stmt)</code>&nbsp;</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>void</code></td>
<td class="colLast"><code><strong><a href="../../mmj/util/Dump.html#dumpStmtAxiomFull(int, mmj.lang.Axiom)">dumpStmtAxiomFull</a></strong>(int&nbsp;indentNbr,
                 <a href="../../mmj/lang/Axiom.html" title="class in mmj.lang">Axiom</a>&nbsp;axiom)</code>&nbsp;</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>void</code></td>
<td class="colLast"><code><strong><a href="../../mmj/util/Dump.html#dumpStmtLogHypFull(int, mmj.lang.LogHyp)">dumpStmtLogHypFull</a></strong>(int&nbsp;indentNbr,
                  <a href="../../mmj/lang/LogHyp.html" title="class in mmj.lang">LogHyp</a>&nbsp;logHyp)</code>&nbsp;</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>void</code></td>
<td class="colLast"><code><strong><a href="../../mmj/util/Dump.html#dumpStmtProperties(int, java.lang.StringBuilder, mmj.lang.Stmt)">dumpStmtProperties</a></strong>(int&nbsp;indentNbr,
                  java.lang.StringBuilder&nbsp;sb,
                  <a href="../../mmj/lang/Stmt.html" title="class in mmj.lang">Stmt</a>&nbsp;stmt)</code>&nbsp;</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>void</code></td>
<td class="colLast"><code><strong><a href="../../mmj/util/Dump.html#dumpStmtTbl(int, int, java.lang.String, java.util.Collection)">dumpStmtTbl</a></strong>(int&nbsp;maxDumpCnt,
           int&nbsp;indentNbr,
           java.lang.String&nbsp;caption,
           java.util.Collection&lt;? extends <a href="../../mmj/lang/Stmt.html" title="class in mmj.lang">Stmt</a>&gt;&nbsp;stmtTbl)</code>&nbsp;</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>void</code></td>
<td class="colLast"><code><strong><a href="../../mmj/util/Dump.html#dumpStmtTbl(int, java.lang.String, java.util.Collection)">dumpStmtTbl</a></strong>(int&nbsp;indentNbr,
           java.lang.String&nbsp;caption,
           java.util.Collection&lt;? extends <a href="../../mmj/lang/Stmt.html" title="class in mmj.lang">Stmt</a>&gt;&nbsp;stmtTbl)</code>&nbsp;</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>void</code></td>
<td class="colLast"><code><strong><a href="../../mmj/util/Dump.html#dumpStmtTheoremFull(int, mmj.lang.Theorem)">dumpStmtTheoremFull</a></strong>(int&nbsp;indentNbr,
                   <a href="../../mmj/lang/Theorem.html" title="class in mmj.lang">Theorem</a>&nbsp;theorem)</code>&nbsp;</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>void</code></td>
<td class="colLast"><code><strong><a href="../../mmj/util/Dump.html#dumpStmtVarHypFull(int, mmj.lang.VarHyp)">dumpStmtVarHypFull</a></strong>(int&nbsp;indentNbr,
                  <a href="../../mmj/lang/VarHyp.html" title="class in mmj.lang">VarHyp</a>&nbsp;varHyp)</code>&nbsp;</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>void</code></td>
<td class="colLast"><code><strong><a href="../../mmj/util/Dump.html#dumpSymCnstFull(int, mmj.lang.Cnst)">dumpSymCnstFull</a></strong>(int&nbsp;indentNbr,
               <a href="../../mmj/lang/Cnst.html" title="class in mmj.lang">Cnst</a>&nbsp;cnst)</code>&nbsp;</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>void</code></td>
<td class="colLast"><code><strong><a href="../../mmj/util/Dump.html#dumpSymTbl(int, java.lang.String, java.util.Collection)">dumpSymTbl</a></strong>(int&nbsp;indentNbr,
          java.lang.String&nbsp;caption,
          java.util.Collection&lt;? extends <a href="../../mmj/lang/Sym.html" title="class in mmj.lang">Sym</a>&gt;&nbsp;symTbl)</code>&nbsp;</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>void</code></td>
<td class="colLast"><code><strong><a href="../../mmj/util/Dump.html#dumpSymVarFull(int, mmj.lang.Var)">dumpSymVarFull</a></strong>(int&nbsp;indentNbr,
              <a href="../../mmj/lang/Var.html" title="class in mmj.lang">Var</a>&nbsp;var)</code>&nbsp;</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>void</code></td>
<td class="colLast"><code><strong><a href="../../mmj/util/Dump.html#dumpTheGrammar(int, java.util.Collection, java.util.Collection)">dumpTheGrammar</a></strong>(int&nbsp;indentNbr,
              java.util.Collection&lt;<a href="../../mmj/lang/Cnst.html" title="class in mmj.lang">Cnst</a>&gt;&nbsp;grammarTypSet,
              java.util.Collection&lt;<a href="../../mmj/lang/Sym.html" title="class in mmj.lang">Sym</a>&gt;&nbsp;symTbl)</code>&nbsp;</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>void</code></td>
<td class="colLast"><code><strong><a href="../../mmj/util/Dump.html#dumpTypeConversionRuleProperties(int, mmj.verify.TypeConversionRule)">dumpTypeConversionRuleProperties</a></strong>(int&nbsp;indentNbr,
                                <a href="../../mmj/verify/TypeConversionRule.html" title="class in mmj.verify">TypeConversionRule</a>&nbsp;typeConversionRule)</code>&nbsp;</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>void</code></td>
<td class="colLast"><code><strong><a href="../../mmj/util/Dump.html#printBookManagerChapters(java.lang.String, mmj.lang.BookManager)">printBookManagerChapters</a></strong>(java.lang.String&nbsp;caption,
                        <a href="../../mmj/lang/BookManager.html" title="class in mmj.lang">BookManager</a>&nbsp;bookManager)</code>
<div class="block">"printBookManagerChapters" is used by BatchMMJ2 to print BookManager
 Chapter information.</div>
</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>void</code></td>
<td class="colLast"><code><strong><a href="../../mmj/util/Dump.html#printBookManagerSectionDetails(mmj.util.RunParmArrayEntry, mmj.lang.LogicalSystem, mmj.lang.BookManager, mmj.lang.Section)">printBookManagerSectionDetails</a></strong>(<a href="../../mmj/util/RunParmArrayEntry.html" title="class in mmj.util">RunParmArrayEntry</a>&nbsp;runParm,
                              <a href="../../mmj/lang/LogicalSystem.html" title="class in mmj.lang">LogicalSystem</a>&nbsp;logicalSystem,
                              <a href="../../mmj/lang/BookManager.html" title="class in mmj.lang">BookManager</a>&nbsp;bookManager,
                              <a href="../../mmj/lang/Section.html" title="class in mmj.lang">Section</a>&nbsp;section)</code>
<div class="block">"printBookManagerSectionDetails" is used by BatchMMJ2 to print
 BookManager Section, MObj and Chapter information.</div>
</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>void</code></td>
<td class="colLast"><code><strong><a href="../../mmj/util/Dump.html#printBookManagerSections(java.lang.String, mmj.lang.BookManager)">printBookManagerSections</a></strong>(java.lang.String&nbsp;caption,
                        <a href="../../mmj/lang/BookManager.html" title="class in mmj.lang">BookManager</a>&nbsp;bookManager)</code>
<div class="block">"printBookManagerSections" is used by BatchMMJ2 to print BookManager
 Section information.</div>
</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>void</code></td>
<td class="colLast"><code><strong><a href="../../mmj/util/Dump.html#printOneStatementDetails(mmj.lang.Stmt)">printOneStatementDetails</a></strong>(<a href="../../mmj/lang/Stmt.html" title="class in mmj.lang">Stmt</a>&nbsp;stmt)</code>
<div class="block">"printOneStatementDetails" is used by BatchMMJ2 to print information
 about a single Stmt.</div>
</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>void</code></td>
<td class="colLast"><code><strong><a href="../../mmj/util/Dump.html#printStatementDetails(java.lang.String, java.util.Map, int)">printStatementDetails</a></strong>(java.lang.String&nbsp;caption,
                     java.util.Map&lt;java.lang.String,<a href="../../mmj/lang/Stmt.html" title="class in mmj.lang">Stmt</a>&gt;&nbsp;stmtTbl,
                     int&nbsp;maxStatementPrintCountParm)</code>
<div class="block">"printStatementDetails" is used by BatchMMJ2 to print Metamath Statement
 details, up to the limit imposed by maxStatementPrintCountParm.</div>
</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>void</code></td>
<td class="colLast"><code><strong><a href="../../mmj/util/Dump.html#printSyntaxDetails(java.lang.String, mmj.lang.LogicalSystem, mmj.verify.Grammar)">printSyntaxDetails</a></strong>(java.lang.String&nbsp;caption,
                  <a href="../../mmj/lang/LogicalSystem.html" title="class in mmj.lang">LogicalSystem</a>&nbsp;logicalSystem,
                  <a href="../../mmj/verify/Grammar.html" title="class in mmj.verify">Grammar</a>&nbsp;grammar)</code>
<div class="block">"printSyntaxDetails" is used by BatchMMJ2 to print all syntax-related
 information about a LogicalSystem and its Grammar.</div>
</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>void</code></td>
<td class="colLast"><code><strong><a href="../../mmj/util/Dump.html#setSysOut(java.io.PrintWriter)">setSysOut</a></strong>(java.io.PrintWriter&nbsp;sysOut)</code>
<div class="block">Sets Dump's SysOut to a new PrintWriter, or null to revert to writing to
 System.out.</div>
</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>void</code></td>
<td class="colLast"><code><strong><a href="../../mmj/util/Dump.html#setTMFFPreferences(mmj.tmff.TMFFPreferences)">setTMFFPreferences</a></strong>(<a href="../../mmj/tmff/TMFFPreferences.html" title="class in mmj.tmff">TMFFPreferences</a>&nbsp;tmffPreferences)</code>
<div class="block">Sets Dump's Text Mode Formula Formatting preference parameters to a new
 set of values.</div>
</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>void</code></td>
<td class="colLast"><code><strong><a href="../../mmj/util/Dump.html#sysOutDumpAPrintLn(java.lang.String)">sysOutDumpAPrintLn</a></strong>(java.lang.String&nbsp;s)</code>
<div class="block">Print a line from a String.</div>
</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>void</code></td>
<td class="colLast"><code><strong><a href="../../mmj/util/Dump.html#sysOutDumpAPrintLn(java.lang.StringBuilder)">sysOutDumpAPrintLn</a></strong>(java.lang.StringBuilder&nbsp;sb)</code>
<div class="block">Print a line from a StringBuilder.</div>
</td>
</tr>
</table>
<ul class="blockList">
<li class="blockList"><a name="methods_inherited_from_class_java.lang.Object">
<!--   -->
</a>
<h3>Methods inherited from class&nbsp;java.lang.Object</h3>
<code>clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait</code></li>
</ul>
</li>
</ul>
</li>
</ul>
</div>
<div class="details">
<ul class="blockList">
<li class="blockList">
<!-- ============ FIELD DETAIL =========== -->
<ul class="blockList">
<li class="blockList"><a name="field_detail">
<!--   -->
</a>
<h3>Field Detail</h3>
<a name="sysOut">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>sysOut</h4>
<pre>public&nbsp;java.io.PrintWriter sysOut</pre>
</li>
</ul>
<a name="tmffPreferences">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>tmffPreferences</h4>
<pre>public&nbsp;<a href="../../mmj/tmff/TMFFPreferences.html" title="class in mmj.tmff">TMFFPreferences</a> tmffPreferences</pre>
</li>
</ul>
<a name="keyArray">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>keyArray</h4>
<pre>public&nbsp;java.lang.String[] keyArray</pre>
</li>
</ul>
<a name="keyArrayCount">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>keyArrayCount</h4>
<pre>public&nbsp;int keyArrayCount</pre>
</li>
</ul>
<a name="indentTbl">
<!--   -->
</a>
<ul class="blockListLast">
<li class="blockList">
<h4>indentTbl</h4>
<pre>public static final&nbsp;java.lang.String[] indentTbl</pre>
</li>
</ul>
</li>
</ul>
<!-- ========= CONSTRUCTOR DETAIL ======== -->
<ul class="blockList">
<li class="blockList"><a name="constructor_detail">
<!--   -->
</a>
<h3>Constructor Detail</h3>
<a name="Dump()">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>Dump</h4>
<pre>public&nbsp;Dump()</pre>
<div class="block">Default constructor which will print to System.out.</div>
</li>
</ul>
<a name="Dump(java.io.PrintWriter)">
<!--   -->
</a>
<ul class="blockListLast">
<li class="blockList">
<h4>Dump</h4>
<pre>public&nbsp;Dump(java.io.PrintWriter&nbsp;sysOut)</pre>
<div class="block">Construct Dump using a PrintWriter for output.</div>
<dl><dt><span class="strong">Parameters:</span></dt><dd><code>sysOut</code> - the PrintWriter</dd></dl>
</li>
</ul>
</li>
</ul>
<!-- ============ METHOD DETAIL ========== -->
<ul class="blockList">
<li class="blockList"><a name="method_detail">
<!--   -->
</a>
<h3>Method Detail</h3>
<a name="setSysOut(java.io.PrintWriter)">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>setSysOut</h4>
<pre>public&nbsp;void&nbsp;setSysOut(java.io.PrintWriter&nbsp;sysOut)</pre>
<div class="block">Sets Dump's SysOut to a new PrintWriter, or null to revert to writing to
 System.out.</div>
<dl><dt><span class="strong">Parameters:</span></dt><dd><code>sysOut</code> - a PrintWriter, or null for System.out output.</dd></dl>
</li>
</ul>
<a name="setTMFFPreferences(mmj.tmff.TMFFPreferences)">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>setTMFFPreferences</h4>
<pre>public&nbsp;void&nbsp;setTMFFPreferences(<a href="../../mmj/tmff/TMFFPreferences.html" title="class in mmj.tmff">TMFFPreferences</a>&nbsp;tmffPreferences)</pre>
<div class="block">Sets Dump's Text Mode Formula Formatting preference parameters to a new
 set of values.
 <p>
 Note: mmj.util.OutputBoss uses this.</div>
<dl><dt><span class="strong">Parameters:</span></dt><dd><code>tmffPreferences</code> - TMFF Preference parameters.</dd></dl>
</li>
</ul>
<a name="sysOutDumpAPrintLn(java.lang.StringBuilder)">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>sysOutDumpAPrintLn</h4>
<pre>public&nbsp;void&nbsp;sysOutDumpAPrintLn(java.lang.StringBuilder&nbsp;sb)</pre>
<div class="block">Print a line from a StringBuilder.</div>
<dl><dt><span class="strong">Parameters:</span></dt><dd><code>sb</code> - StringBuilder line to be printed.</dd></dl>
</li>
</ul>
<a name="sysOutDumpAPrintLn(java.lang.String)">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>sysOutDumpAPrintLn</h4>
<pre>public&nbsp;void&nbsp;sysOutDumpAPrintLn(java.lang.String&nbsp;s)</pre>
<div class="block">Print a line from a String.</div>
<dl><dt><span class="strong">Parameters:</span></dt><dd><code>s</code> - String line to be printed.</dd></dl>
</li>
</ul>
<a name="printSyntaxDetails(java.lang.String, mmj.lang.LogicalSystem, mmj.verify.Grammar)">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>printSyntaxDetails</h4>
<pre>public&nbsp;void&nbsp;printSyntaxDetails(java.lang.String&nbsp;caption,
                      <a href="../../mmj/lang/LogicalSystem.html" title="class in mmj.lang">LogicalSystem</a>&nbsp;logicalSystem,
                      <a href="../../mmj/verify/Grammar.html" title="class in mmj.verify">Grammar</a>&nbsp;grammar)</pre>
<div class="block">"printSyntaxDetails" is used by BatchMMJ2 to print all syntax-related
 information about a LogicalSystem and its Grammar.</div>
<dl><dt><span class="strong">Parameters:</span></dt><dd><code>caption</code> - identifying caption for the report.</dd><dd><code>logicalSystem</code> - a LogicalSystem object.</dd><dd><code>grammar</code> - a Grammar object derived from the Logical System.</dd></dl>
</li>
</ul>
<a name="printOneStatementDetails(mmj.lang.Stmt)">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>printOneStatementDetails</h4>
<pre>public&nbsp;void&nbsp;printOneStatementDetails(<a href="../../mmj/lang/Stmt.html" title="class in mmj.lang">Stmt</a>&nbsp;stmt)</pre>
<div class="block">"printOneStatementDetails" is used by BatchMMJ2 to print information
 about a single Stmt.</div>
<dl><dt><span class="strong">Parameters:</span></dt><dd><code>stmt</code> - a Stmt object.</dd></dl>
</li>
</ul>
<a name="printStatementDetails(java.lang.String, java.util.Map, int)">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>printStatementDetails</h4>
<pre>public&nbsp;void&nbsp;printStatementDetails(java.lang.String&nbsp;caption,
                         java.util.Map&lt;java.lang.String,<a href="../../mmj/lang/Stmt.html" title="class in mmj.lang">Stmt</a>&gt;&nbsp;stmtTbl,
                         int&nbsp;maxStatementPrintCountParm)</pre>
<div class="block">"printStatementDetails" is used by BatchMMJ2 to print Metamath Statement
 details, up to the limit imposed by maxStatementPrintCountParm.</div>
<dl><dt><span class="strong">Parameters:</span></dt><dd><code>caption</code> - identifying caption for the report.</dd><dd><code>stmtTbl</code> - Statement Table (Map)</dd><dd><code>maxStatementPrintCountParm</code> - max number of Stmt's to print.</dd></dl>
</li>
</ul>
<a name="printBookManagerChapters(java.lang.String, mmj.lang.BookManager)">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>printBookManagerChapters</h4>
<pre>public&nbsp;void&nbsp;printBookManagerChapters(java.lang.String&nbsp;caption,
                            <a href="../../mmj/lang/BookManager.html" title="class in mmj.lang">BookManager</a>&nbsp;bookManager)</pre>
<div class="block">"printBookManagerChapters" is used by BatchMMJ2 to print BookManager
 Chapter information.
 <p>
 This function is used primarily as a way to generate test output but the
 RunParm "PrintBookManagerChapters" may be useful for mmj2 users.</div>
<dl><dt><span class="strong">Parameters:</span></dt><dd><code>caption</code> - identifying caption for the report.</dd><dd><code>bookManager</code> - the BookManager in use.</dd></dl>
</li>
</ul>
<a name="printBookManagerSections(java.lang.String, mmj.lang.BookManager)">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>printBookManagerSections</h4>
<pre>public&nbsp;void&nbsp;printBookManagerSections(java.lang.String&nbsp;caption,
                            <a href="../../mmj/lang/BookManager.html" title="class in mmj.lang">BookManager</a>&nbsp;bookManager)</pre>
<div class="block">"printBookManagerSections" is used by BatchMMJ2 to print BookManager
 Section information.
 <p>
 This function is used primarily as a way to generate test output but the
 RunParm "PrintBookManagerSections" may be useful for mmj2 users.</div>
<dl><dt><span class="strong">Parameters:</span></dt><dd><code>caption</code> - identifying caption for the report.</dd><dd><code>bookManager</code> - the BookManager in use.</dd></dl>
</li>
</ul>
<a name="printBookManagerSectionDetails(mmj.util.RunParmArrayEntry, mmj.lang.LogicalSystem, mmj.lang.BookManager, mmj.lang.Section)">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>printBookManagerSectionDetails</h4>
<pre>public&nbsp;void&nbsp;printBookManagerSectionDetails(<a href="../../mmj/util/RunParmArrayEntry.html" title="class in mmj.util">RunParmArrayEntry</a>&nbsp;runParm,
                                  <a href="../../mmj/lang/LogicalSystem.html" title="class in mmj.lang">LogicalSystem</a>&nbsp;logicalSystem,
                                  <a href="../../mmj/lang/BookManager.html" title="class in mmj.lang">BookManager</a>&nbsp;bookManager,
                                  <a href="../../mmj/lang/Section.html" title="class in mmj.lang">Section</a>&nbsp;section)</pre>
<div class="block">"printBookManagerSectionDetails" is used by BatchMMJ2 to print
 BookManager Section, MObj and Chapter information.
 <p>
 This function is used primarily as a way to generate test output but the
 RunParm "PrintBookManagerSectionDetails" may be useful for mmj2 users.</div>
<dl><dt><span class="strong">Parameters:</span></dt><dd><code>runParm</code> - contains RunParm name and values.</dd><dd><code>logicalSystem</code> - the LogicalSystem in use.</dd><dd><code>bookManager</code> - the BookManager in use.</dd><dd><code>section</code> - the Section to be printed or null if all Sections are to
            be printed.</dd></dl>
</li>
</ul>
<a name="dumpLogSys(int, java.lang.String, mmj.lang.LogicalSystem)">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>dumpLogSys</h4>
<pre>public&nbsp;void&nbsp;dumpLogSys(int&nbsp;indentNbr,
              java.lang.String&nbsp;caption,
              <a href="../../mmj/lang/LogicalSystem.html" title="class in mmj.lang">LogicalSystem</a>&nbsp;logSys)</pre>
</li>
</ul>
<a name="dumpLogSysCounts(int, java.lang.String, java.util.Map, java.util.Map)">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>dumpLogSysCounts</h4>
<pre>public&nbsp;void&nbsp;dumpLogSysCounts(int&nbsp;indentNbr,
                    java.lang.String&nbsp;caption,
                    java.util.Map&lt;java.lang.String,<a href="../../mmj/lang/Sym.html" title="class in mmj.lang">Sym</a>&gt;&nbsp;symTbl,
                    java.util.Map&lt;java.lang.String,<a href="../../mmj/lang/Stmt.html" title="class in mmj.lang">Stmt</a>&gt;&nbsp;stmtTbl)</pre>
</li>
</ul>
<a name="dumpLogSysCounts(int, java.lang.String, java.util.Collection, java.util.Collection)">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>dumpLogSysCounts</h4>
<pre>public&nbsp;void&nbsp;dumpLogSysCounts(int&nbsp;indentNbr,
                    java.lang.String&nbsp;caption,
                    java.util.Collection&lt;<a href="../../mmj/lang/Sym.html" title="class in mmj.lang">Sym</a>&gt;&nbsp;symTbl,
                    java.util.Collection&lt;<a href="../../mmj/lang/Stmt.html" title="class in mmj.lang">Stmt</a>&gt;&nbsp;stmtTbl)</pre>
</li>
</ul>
<a name="dumpSymTbl(int, java.lang.String, java.util.Collection)">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>dumpSymTbl</h4>
<pre>public&nbsp;void&nbsp;dumpSymTbl(int&nbsp;indentNbr,
              java.lang.String&nbsp;caption,
              java.util.Collection&lt;? extends <a href="../../mmj/lang/Sym.html" title="class in mmj.lang">Sym</a>&gt;&nbsp;symTbl)</pre>
</li>
</ul>
<a name="dumpStmtTbl(int, java.lang.String, java.util.Collection)">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>dumpStmtTbl</h4>
<pre>public&nbsp;void&nbsp;dumpStmtTbl(int&nbsp;indentNbr,
               java.lang.String&nbsp;caption,
               java.util.Collection&lt;? extends <a href="../../mmj/lang/Stmt.html" title="class in mmj.lang">Stmt</a>&gt;&nbsp;stmtTbl)</pre>
</li>
</ul>
<a name="dumpStmtTbl(int, int, java.lang.String, java.util.Collection)">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>dumpStmtTbl</h4>
<pre>public&nbsp;void&nbsp;dumpStmtTbl(int&nbsp;maxDumpCnt,
               int&nbsp;indentNbr,
               java.lang.String&nbsp;caption,
               java.util.Collection&lt;? extends <a href="../../mmj/lang/Stmt.html" title="class in mmj.lang">Stmt</a>&gt;&nbsp;stmtTbl)</pre>
</li>
</ul>
<a name="dumpOneStmt(int, mmj.lang.Stmt)">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>dumpOneStmt</h4>
<pre>public&nbsp;void&nbsp;dumpOneStmt(int&nbsp;indentNbr,
               <a href="../../mmj/lang/Stmt.html" title="class in mmj.lang">Stmt</a>&nbsp;stmt)</pre>
</li>
</ul>
<a name="dumpStmtTheoremFull(int, mmj.lang.Theorem)">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>dumpStmtTheoremFull</h4>
<pre>public&nbsp;void&nbsp;dumpStmtTheoremFull(int&nbsp;indentNbr,
                       <a href="../../mmj/lang/Theorem.html" title="class in mmj.lang">Theorem</a>&nbsp;theorem)</pre>
</li>
</ul>
<a name="dumpStmtAxiomFull(int, mmj.lang.Axiom)">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>dumpStmtAxiomFull</h4>
<pre>public&nbsp;void&nbsp;dumpStmtAxiomFull(int&nbsp;indentNbr,
                     <a href="../../mmj/lang/Axiom.html" title="class in mmj.lang">Axiom</a>&nbsp;axiom)</pre>
</li>
</ul>
<a name="dumpStmtLogHypFull(int, mmj.lang.LogHyp)">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>dumpStmtLogHypFull</h4>
<pre>public&nbsp;void&nbsp;dumpStmtLogHypFull(int&nbsp;indentNbr,
                      <a href="../../mmj/lang/LogHyp.html" title="class in mmj.lang">LogHyp</a>&nbsp;logHyp)</pre>
</li>
</ul>
<a name="dumpStmtVarHypFull(int, mmj.lang.VarHyp)">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>dumpStmtVarHypFull</h4>
<pre>public&nbsp;void&nbsp;dumpStmtVarHypFull(int&nbsp;indentNbr,
                      <a href="../../mmj/lang/VarHyp.html" title="class in mmj.lang">VarHyp</a>&nbsp;varHyp)</pre>
</li>
</ul>
<a name="dumpAssrtProperties(int, mmj.lang.Assrt)">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>dumpAssrtProperties</h4>
<pre>public&nbsp;void&nbsp;dumpAssrtProperties(int&nbsp;indentNbr,
                       <a href="../../mmj/lang/Assrt.html" title="class in mmj.lang">Assrt</a>&nbsp;assrt)</pre>
</li>
</ul>
<a name="dumpStmtProperties(int, java.lang.StringBuilder, mmj.lang.Stmt)">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>dumpStmtProperties</h4>
<pre>public&nbsp;void&nbsp;dumpStmtProperties(int&nbsp;indentNbr,
                      java.lang.StringBuilder&nbsp;sb,
                      <a href="../../mmj/lang/Stmt.html" title="class in mmj.lang">Stmt</a>&nbsp;stmt)</pre>
</li>
</ul>
<a name="dumpSymVarFull(int, mmj.lang.Var)">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>dumpSymVarFull</h4>
<pre>public&nbsp;void&nbsp;dumpSymVarFull(int&nbsp;indentNbr,
                  <a href="../../mmj/lang/Var.html" title="class in mmj.lang">Var</a>&nbsp;var)</pre>
</li>
</ul>
<a name="dumpSymCnstFull(int, mmj.lang.Cnst)">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>dumpSymCnstFull</h4>
<pre>public&nbsp;void&nbsp;dumpSymCnstFull(int&nbsp;indentNbr,
                   <a href="../../mmj/lang/Cnst.html" title="class in mmj.lang">Cnst</a>&nbsp;cnst)</pre>
</li>
</ul>
<a name="dumpGrammarRuleCollection(int, java.lang.String, java.util.Collection)">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>dumpGrammarRuleCollection</h4>
<pre>public&nbsp;void&nbsp;dumpGrammarRuleCollection(int&nbsp;indentNbr,
                             java.lang.String&nbsp;caption,
                             java.util.Collection&lt;<a href="../../mmj/verify/GrammarRule.html" title="class in mmj.verify">GrammarRule</a>&gt;&nbsp;grammarRuleCollection)</pre>
</li>
</ul>
<a name="dumpGrammarRuleCollection(int, int, java.lang.String, java.util.Collection)">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>dumpGrammarRuleCollection</h4>
<pre>public&nbsp;void&nbsp;dumpGrammarRuleCollection(int&nbsp;maxDumpCnt,
                             int&nbsp;indentNbr,
                             java.lang.String&nbsp;caption,
                             java.util.Collection&lt;? extends <a href="../../mmj/verify/GrammarRule.html" title="class in mmj.verify">GrammarRule</a>&gt;&nbsp;grammarRuleCollection)</pre>
</li>
</ul>
<a name="dumpGrammarRuleFull(int, mmj.verify.GrammarRule)">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>dumpGrammarRuleFull</h4>
<pre>public&nbsp;void&nbsp;dumpGrammarRuleFull(int&nbsp;indentNbr,
                       <a href="../../mmj/verify/GrammarRule.html" title="class in mmj.verify">GrammarRule</a>&nbsp;grammarRule)</pre>
</li>
</ul>
<a name="dumpNotationRuleProperties(int, mmj.verify.NotationRule)">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>dumpNotationRuleProperties</h4>
<pre>public&nbsp;void&nbsp;dumpNotationRuleProperties(int&nbsp;indentNbr,
                              <a href="../../mmj/verify/NotationRule.html" title="class in mmj.verify">NotationRule</a>&nbsp;notationRule)</pre>
</li>
</ul>
<a name="dumpTypeConversionRuleProperties(int, mmj.verify.TypeConversionRule)">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>dumpTypeConversionRuleProperties</h4>
<pre>public&nbsp;void&nbsp;dumpTypeConversionRuleProperties(int&nbsp;indentNbr,
                                    <a href="../../mmj/verify/TypeConversionRule.html" title="class in mmj.verify">TypeConversionRule</a>&nbsp;typeConversionRule)</pre>
</li>
</ul>
<a name="dumpNullsPermittedRuleProperties(int, mmj.verify.NullsPermittedRule)">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>dumpNullsPermittedRuleProperties</h4>
<pre>public&nbsp;void&nbsp;dumpNullsPermittedRuleProperties(int&nbsp;indentNbr,
                                    <a href="../../mmj/verify/NullsPermittedRule.html" title="class in mmj.verify">NullsPermittedRule</a>&nbsp;nullsPermittedRule)</pre>
</li>
</ul>
<a name="dumpTheGrammar(int, java.util.Collection, java.util.Collection)">
<!--   -->
</a>
<ul class="blockListLast">
<li class="blockList">
<h4>dumpTheGrammar</h4>
<pre>public&nbsp;void&nbsp;dumpTheGrammar(int&nbsp;indentNbr,
                  java.util.Collection&lt;<a href="../../mmj/lang/Cnst.html" title="class in mmj.lang">Cnst</a>&gt;&nbsp;grammarTypSet,
                  java.util.Collection&lt;<a href="../../mmj/lang/Sym.html" title="class in mmj.lang">Sym</a>&gt;&nbsp;symTbl)</pre>
</li>
</ul>
</li>
</ul>
</li>
</ul>
</div>
</div>
<!-- ========= END OF CLASS DATA ========= -->
<!-- ======= START OF BOTTOM NAVBAR ====== -->
<div class="bottomNav"><a name="navbar_bottom">
<!--   -->
</a><a href="#skip-navbar_bottom" title="Skip navigation links"></a><a name="navbar_bottom_firstrow">
<!--   -->
</a>
<ul class="navList" title="Navigation">
<li><a href="../../overview-summary.html">Overview</a></li>
<li><a href="package-summary.html">Package</a></li>
<li class="navBarCell1Rev">Class</li>
<li><a href="package-tree.html">Tree</a></li>
<li><a href="../../deprecated-list.html">Deprecated</a></li>
<li><a href="../../index-all.html">Index</a></li>
<li><a href="../../help-doc.html">Help</a></li>
</ul>
</div>
<div class="subNav">
<ul class="navList">
<li><a href="../../mmj/util/DelimitedTextParser.html" title="class in mmj.util"><span class="strong">Prev Class</span></a></li>
<li><a href="../../mmj/util/GMFFBoss.html" title="class in mmj.util"><span class="strong">Next Class</span></a></li>
</ul>
<ul class="navList">
<li><a href="../../index.html?mmj/util/Dump.html" target="_top">Frames</a></li>
<li><a href="Dump.html" target="_top">No Frames</a></li>
</ul>
<ul class="navList" id="allclasses_navbar_bottom">
<li><a href="../../allclasses-noframe.html">All Classes</a></li>
</ul>
<div>
<script type="text/javascript"><!--
  allClassesLink = document.getElementById("allclasses_navbar_bottom");
  if(window==top) {
    allClassesLink.style.display = "block";
  }
  else {
    allClassesLink.style.display = "none";
  }
  //-->
</script>
</div>
<div>
<ul class="subNavList">
<li>Summary:&nbsp;</li>
<li>Nested&nbsp;|&nbsp;</li>
<li><a href="#field_summary">Field</a>&nbsp;|&nbsp;</li>
<li><a href="#constructor_summary">Constr</a>&nbsp;|&nbsp;</li>
<li><a href="#method_summary">Method</a></li>
</ul>
<ul class="subNavList">
<li>Detail:&nbsp;</li>
<li><a href="#field_detail">Field</a>&nbsp;|&nbsp;</li>
<li><a href="#constructor_detail">Constr</a>&nbsp;|&nbsp;</li>
<li><a href="#method_detail">Method</a></li>
</ul>
</div>
<a name="skip-navbar_bottom">
<!--   -->
</a></div>
<!-- ======== END OF BOTTOM NAVBAR ======= -->
</body>
</html>
